1.1.1.6. core.UndefinedBinaryOperatorResult (C)
Check for undefined results of binary operators.

Examples:

void test() {
  int x;
  int y = x + 1; // warn: left operand is garbage
}